scslab's Repositories
53 repositories
aeson
A fast Haskell JSON library
⭐ 3
🌐 Public
appdeploy
No description
⭐ 0
🌐 Public
bad
Stanford Big-Ass-Data Project
⭐ 0
🌐 Public
base64-bytestring
Fast base64 encoding and decoding for Haskell.
⭐ 1
🌐 Public
bytestring
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
⭐ 0
🌐 Public
caddy
Fast, cross-platform HTTP/2 web server with automatic HTTPS
⭐ 0
🌐 Public
cjail
Arch linux cjail mirror
⭐ 1
🌐 Public
cowl
COWL implementation for Firefox
⭐ 12
🌐 Public
cowl.ws
Static page for cowl.ws
⭐ 2
🌐 Public
cs240h-notes
Stanford CS240h Class Notes -- Functional Systems in Haskell
⭐ 27
🌐 Public
darpa-site-visit
DARPA site visit wiki
⭐ 0
🌐 Public
dclabel
Disjunction Category Label Format (Mirror)
⭐ 3
🌐 Public
dpdk
Mirror of Data Plane Development Kit, git://dpdk.org/dpdk (http://dpdk.org)
⭐ 0
🌐 Public
fmt
Small, safe and fast formatting library
⭐ 0
🌐 Public
ga
Google Authenticator in the Shell
⭐ 7
🌐 Public
gitstar
No description
⭐ 6
🌐 Public
gitstar-gitwiki
Gitstar markup-based, git-oriented wiki app
⭐ 4
🌐 Public
gitstar-policy
Gitstar policy module
⭐ 2
🌐 Public
gitstar-ssh
Gitstar ssh service
⭐ 5
🌐 Public
gitstar-viewer
Gitstar code browser
⭐ 3
🌐 Public
grapit
GitHub style api for git repositories
⭐ 3
🌐 Public
groundhog-model-checking
No description
⭐ 1
🌐 Public
hails
The security-centric web platform framework
⭐ 52
🌐 Public
hails-auth
Hails authentication system
⭐ 1
🌐 Public
hails-bin
Hails dynamic app loader
⭐ 2
🌐 Public
hails-cjail
Haskell CJail bindings
⭐ 1
🌐 Public
hails-deploy
Hails deployment binary
⭐ 2
🌐 Public
ifc-proofs
Mechanized proofs for a general approach to dynamic IFC
⭐ 0
🌐 Public
iterIO
No description
⭐ 3
🌐 Public
iterio-server
Generic building blocks for creating servers using IterIO
⭐ 3
🌐 Public
LambdaS5
Semantics for ES5
⭐ 0
🌐 Public
lambdexer
Indexes your Haskell package-db
⭐ 0
🌐 Public
lbh
Learn by Hacking. A web app for writing interactive tutorials on how to write code.
⭐ 4
🌐 Public
lio
Labeled IO Library
⭐ 3
🌐 Public
lio-cjail
Hails cjail inteface
⭐ 2
🌐 Public
lio-demo
Building secure system with LIO (demo)
⭐ 0
🌐 Public
lio-exercises
No description
⭐ 2
🌐 Public
lio-semantics
Formal semantics for LIO
⭐ 2
🌐 Public
lio-tutorial
Haskell and LIO tutorial
⭐ 3
🌐 Public
masstree-beta
Beta release of Masstree.
⭐ 0
🌐 Public
mitigator
General channel mitigation library
⭐ 2
🌐 Public
mpvc.js
A port of the Hails MPVC to Node
⭐ 0
🌐 Public
mutated
The most accurate load-generator in the galaxy
⭐ 8
🌐 Public
node_chat
simple chat demo for node
⭐ 0
🌐 Public
pandoc
Universal markup converter
⭐ 3
🌐 Public
seastar
High performance server-side application framework
⭐ 0
🌐 Public
simple
A minimal Haskell web-framework based on the WAI web server interface.
⭐ 0
🌐 Public
smart-contract-scalability
No description
⭐ 0
🌐 Public
speedex
No description
⭐ 24
🌐 Public
ssh
Haskell SSH Library
⭐ 2
🌐 Public
structued-mongoDB
Mirror of Structured MongoDB package
⭐ 2
🌐 Public
tcpcrypt
Fast TCP encryption
⭐ 212
🌐 Public
text
An efficient packed, immutable Unicode text type for Haskell, with a powerful loop fusion optimization framework.
⭐ 0
🌐 Public